representation functor

表示函子